"Iman Poernomo" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings (Lecture Notes ... Programming and Software Engineering)

Grace A. Lewis, Iman Poernomo, Christine Hofmeister

Категория: Техника

3.93 Mb

#2

Adapting Proofs-as-Programs: The Curry-Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing

4.66 Mb

#3

Adapting proofs-as-programs

Iman Poernomo, John N. Crossley, Martin Wirsing

2.25 Mb

#4

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Iman Poernomo, John N. Crossley, Martin Wirsing

1.53 Mb